Generic Invariant-Based Static Analysis Tool for Detection of Runtime Errors in Java Programs
نویسندگان
چکیده
منابع مشابه
A Generic Approach of Static Analysis for Detecting Runtime Errors in Java Programs
This paper presents a generic approach to statically analyze Java programs in order to detect potential er rors bugs We discuss a framework that supports our approach and carries out the static analysis of Java code automatically Our approach can automatically detect potential bugs and report them before the pro gram is executed For a Java class invariants related to the category of error under...
متن کاملA class loading sensitive approach to detection of runtime type errors in component-based Java programs
Context: The employment of class loaders in component-based Java programs may introduce runtime type errors, which may happen at any statement related to class loading, and may be wrapped into various types of exceptions raised by JVM. Traditional static analysis approaches are inefficient to detect
متن کاملApplying Static Analysis for Detecting Null Pointers in Java Programs
The detection of bugs in software has been a difficult and time-consuming manual task. Some bugs are hard to find as they manifest themselves far from the actual errors such as dereferencing null-pointer. To avoid these bugs, a useful static program analysis tool would inspect a program for presence of such errors. The goal of static analysis is to detect common run-time errors that are not det...
متن کاملGuided Testing of Concurrent Programs Using Value Schedules
Testing concurrent programs remains a difficult task due to the non-deterministic nature of concurrent execution. Many approaches have been proposed to tackle the complexity of uncovering potential concurrency bugs. Static analysis tackles the problem by analyzing a concurrent program looking for situations/patterns that might lead to possible errors during execution. In general, static analysi...
متن کاملA Case Study Of Defect Detection And Analysis With JWiz
This paper presents a study designed to investigate the occurrence of certain kinds of errors in Java[5] programs using JavaWizard (JWiz), a static analysis mechanism for Java source code. JWiz is a tool that supports detection of certain commonly occurring semantic errors in Java programs. JWiz was used within a research framework designed to reveal (1) knowledge about the kinds of errors made...
متن کامل